Fundamental group functors in descent-exact homological categories
نویسندگان
چکیده
منابع مشابه
Descent for Regular Epimorphisms in Barr Exact Goursat Categories
We show that the category of regular epimorphisms in a Barr exact Goursat category is almost Barr exact in the sense that (it is a regular category and) every regular epimorphism in it is an effective descent morphism.
متن کاملCategories and Homological Algebra
The aim of these Notes is to introduce the reader to the language of categories with emphazis on homological algebra. We treat with some details basic homological algebra, that is, categories of complexes in additive and abelian categories and construct with some care the derived functors. We also introduce the reader to the more sophisticated concepts of triangulated and derived categories. Ou...
متن کاملCovering Functors, Skew Group Categories and Derived Equivalences
Abstract. Let G be a group of automorphisms of a category C. We give a definition for a functor F : C → C to be a G-covering and three constructions of the orbit category C/G, which generalizes the notion of a Galois covering of locally finitedimensional categories with group G whose action on C is free and locally bonded. Here C/G is defined for any category C and does not require that the act...
متن کاملRelative Homological Categories
We introduce relative homological and weakly homological categories (C,E), where “relative” refers to a distinguished class E of normal epimorphisms in C. It is a generalization of homological categories, but also protomodular categories can be regarded as examples. We indicate that the relative versions of various homological lemmas can be proved in a relative homological category.
متن کاملAdjoint functors; categories in topology
In this section, we develop the some important categorical definitions and ideas which will be used throughout this paper. For a more complete treatment, the interested reader should consult either [ML-1971], [H-1970] or [M-1967]. Definition 1.1: A metacategory (which we typically denote as C or D) is a pair C = (OC,MC) where OC is considered to be the collection of objects of C and MC is consi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2017
ISSN: 0001-8708
DOI: 10.1016/j.aim.2017.02.001